Optimal. Leaf size=195 \[ \frac {(7 a B+3 A b) \tan ^{-1}\left (\frac {\sqrt {b} \sqrt {x}}{\sqrt {a}}\right )}{128 a^{5/2} b^{9/2}}+\frac {\sqrt {x} (7 a B+3 A b)}{128 a^2 b^4 (a+b x)}-\frac {\sqrt {x} (7 a B+3 A b)}{64 a b^4 (a+b x)^2}-\frac {x^{3/2} (7 a B+3 A b)}{48 a b^3 (a+b x)^3}-\frac {x^{5/2} (7 a B+3 A b)}{40 a b^2 (a+b x)^4}+\frac {x^{7/2} (A b-a B)}{5 a b (a+b x)^5} \]
________________________________________________________________________________________
Rubi [A] time = 0.09, antiderivative size = 195, normalized size of antiderivative = 1.00, number of steps used = 8, number of rules used = 6, integrand size = 29, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.207, Rules used = {27, 78, 47, 51, 63, 205} \begin {gather*} \frac {\sqrt {x} (7 a B+3 A b)}{128 a^2 b^4 (a+b x)}+\frac {(7 a B+3 A b) \tan ^{-1}\left (\frac {\sqrt {b} \sqrt {x}}{\sqrt {a}}\right )}{128 a^{5/2} b^{9/2}}-\frac {x^{5/2} (7 a B+3 A b)}{40 a b^2 (a+b x)^4}-\frac {x^{3/2} (7 a B+3 A b)}{48 a b^3 (a+b x)^3}-\frac {\sqrt {x} (7 a B+3 A b)}{64 a b^4 (a+b x)^2}+\frac {x^{7/2} (A b-a B)}{5 a b (a+b x)^5} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 27
Rule 47
Rule 51
Rule 63
Rule 78
Rule 205
Rubi steps
\begin {align*} \int \frac {x^{5/2} (A+B x)}{\left (a^2+2 a b x+b^2 x^2\right )^3} \, dx &=\int \frac {x^{5/2} (A+B x)}{(a+b x)^6} \, dx\\ &=\frac {(A b-a B) x^{7/2}}{5 a b (a+b x)^5}+\frac {(3 A b+7 a B) \int \frac {x^{5/2}}{(a+b x)^5} \, dx}{10 a b}\\ &=\frac {(A b-a B) x^{7/2}}{5 a b (a+b x)^5}-\frac {(3 A b+7 a B) x^{5/2}}{40 a b^2 (a+b x)^4}+\frac {(3 A b+7 a B) \int \frac {x^{3/2}}{(a+b x)^4} \, dx}{16 a b^2}\\ &=\frac {(A b-a B) x^{7/2}}{5 a b (a+b x)^5}-\frac {(3 A b+7 a B) x^{5/2}}{40 a b^2 (a+b x)^4}-\frac {(3 A b+7 a B) x^{3/2}}{48 a b^3 (a+b x)^3}+\frac {(3 A b+7 a B) \int \frac {\sqrt {x}}{(a+b x)^3} \, dx}{32 a b^3}\\ &=\frac {(A b-a B) x^{7/2}}{5 a b (a+b x)^5}-\frac {(3 A b+7 a B) x^{5/2}}{40 a b^2 (a+b x)^4}-\frac {(3 A b+7 a B) x^{3/2}}{48 a b^3 (a+b x)^3}-\frac {(3 A b+7 a B) \sqrt {x}}{64 a b^4 (a+b x)^2}+\frac {(3 A b+7 a B) \int \frac {1}{\sqrt {x} (a+b x)^2} \, dx}{128 a b^4}\\ &=\frac {(A b-a B) x^{7/2}}{5 a b (a+b x)^5}-\frac {(3 A b+7 a B) x^{5/2}}{40 a b^2 (a+b x)^4}-\frac {(3 A b+7 a B) x^{3/2}}{48 a b^3 (a+b x)^3}-\frac {(3 A b+7 a B) \sqrt {x}}{64 a b^4 (a+b x)^2}+\frac {(3 A b+7 a B) \sqrt {x}}{128 a^2 b^4 (a+b x)}+\frac {(3 A b+7 a B) \int \frac {1}{\sqrt {x} (a+b x)} \, dx}{256 a^2 b^4}\\ &=\frac {(A b-a B) x^{7/2}}{5 a b (a+b x)^5}-\frac {(3 A b+7 a B) x^{5/2}}{40 a b^2 (a+b x)^4}-\frac {(3 A b+7 a B) x^{3/2}}{48 a b^3 (a+b x)^3}-\frac {(3 A b+7 a B) \sqrt {x}}{64 a b^4 (a+b x)^2}+\frac {(3 A b+7 a B) \sqrt {x}}{128 a^2 b^4 (a+b x)}+\frac {(3 A b+7 a B) \operatorname {Subst}\left (\int \frac {1}{a+b x^2} \, dx,x,\sqrt {x}\right )}{128 a^2 b^4}\\ &=\frac {(A b-a B) x^{7/2}}{5 a b (a+b x)^5}-\frac {(3 A b+7 a B) x^{5/2}}{40 a b^2 (a+b x)^4}-\frac {(3 A b+7 a B) x^{3/2}}{48 a b^3 (a+b x)^3}-\frac {(3 A b+7 a B) \sqrt {x}}{64 a b^4 (a+b x)^2}+\frac {(3 A b+7 a B) \sqrt {x}}{128 a^2 b^4 (a+b x)}+\frac {(3 A b+7 a B) \tan ^{-1}\left (\frac {\sqrt {b} \sqrt {x}}{\sqrt {a}}\right )}{128 a^{5/2} b^{9/2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 0.03, size = 61, normalized size = 0.31 \begin {gather*} \frac {x^{7/2} \left (\frac {7 a^5 (A b-a B)}{(a+b x)^5}+(7 a B+3 A b) \, _2F_1\left (\frac {7}{2},5;\frac {9}{2};-\frac {b x}{a}\right )\right )}{35 a^6 b} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 0.35, size = 160, normalized size = 0.82 \begin {gather*} \frac {(7 a B+3 A b) \tan ^{-1}\left (\frac {\sqrt {b} \sqrt {x}}{\sqrt {a}}\right )}{128 a^{5/2} b^{9/2}}-\frac {\sqrt {x} \left (105 a^5 B+45 a^4 A b+490 a^4 b B x+210 a^3 A b^2 x+896 a^3 b^2 B x^2+384 a^2 A b^3 x^2+790 a^2 b^3 B x^3-210 a A b^4 x^3-105 a b^4 B x^4-45 A b^5 x^4\right )}{1920 a^2 b^4 (a+b x)^5} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.46, size = 657, normalized size = 3.37 \begin {gather*} \left [-\frac {15 \, {\left (7 \, B a^{6} + 3 \, A a^{5} b + {\left (7 \, B a b^{5} + 3 \, A b^{6}\right )} x^{5} + 5 \, {\left (7 \, B a^{2} b^{4} + 3 \, A a b^{5}\right )} x^{4} + 10 \, {\left (7 \, B a^{3} b^{3} + 3 \, A a^{2} b^{4}\right )} x^{3} + 10 \, {\left (7 \, B a^{4} b^{2} + 3 \, A a^{3} b^{3}\right )} x^{2} + 5 \, {\left (7 \, B a^{5} b + 3 \, A a^{4} b^{2}\right )} x\right )} \sqrt {-a b} \log \left (\frac {b x - a - 2 \, \sqrt {-a b} \sqrt {x}}{b x + a}\right ) + 2 \, {\left (105 \, B a^{6} b + 45 \, A a^{5} b^{2} - 15 \, {\left (7 \, B a^{2} b^{5} + 3 \, A a b^{6}\right )} x^{4} + 10 \, {\left (79 \, B a^{3} b^{4} - 21 \, A a^{2} b^{5}\right )} x^{3} + 128 \, {\left (7 \, B a^{4} b^{3} + 3 \, A a^{3} b^{4}\right )} x^{2} + 70 \, {\left (7 \, B a^{5} b^{2} + 3 \, A a^{4} b^{3}\right )} x\right )} \sqrt {x}}{3840 \, {\left (a^{3} b^{10} x^{5} + 5 \, a^{4} b^{9} x^{4} + 10 \, a^{5} b^{8} x^{3} + 10 \, a^{6} b^{7} x^{2} + 5 \, a^{7} b^{6} x + a^{8} b^{5}\right )}}, -\frac {15 \, {\left (7 \, B a^{6} + 3 \, A a^{5} b + {\left (7 \, B a b^{5} + 3 \, A b^{6}\right )} x^{5} + 5 \, {\left (7 \, B a^{2} b^{4} + 3 \, A a b^{5}\right )} x^{4} + 10 \, {\left (7 \, B a^{3} b^{3} + 3 \, A a^{2} b^{4}\right )} x^{3} + 10 \, {\left (7 \, B a^{4} b^{2} + 3 \, A a^{3} b^{3}\right )} x^{2} + 5 \, {\left (7 \, B a^{5} b + 3 \, A a^{4} b^{2}\right )} x\right )} \sqrt {a b} \arctan \left (\frac {\sqrt {a b}}{b \sqrt {x}}\right ) + {\left (105 \, B a^{6} b + 45 \, A a^{5} b^{2} - 15 \, {\left (7 \, B a^{2} b^{5} + 3 \, A a b^{6}\right )} x^{4} + 10 \, {\left (79 \, B a^{3} b^{4} - 21 \, A a^{2} b^{5}\right )} x^{3} + 128 \, {\left (7 \, B a^{4} b^{3} + 3 \, A a^{3} b^{4}\right )} x^{2} + 70 \, {\left (7 \, B a^{5} b^{2} + 3 \, A a^{4} b^{3}\right )} x\right )} \sqrt {x}}{1920 \, {\left (a^{3} b^{10} x^{5} + 5 \, a^{4} b^{9} x^{4} + 10 \, a^{5} b^{8} x^{3} + 10 \, a^{6} b^{7} x^{2} + 5 \, a^{7} b^{6} x + a^{8} b^{5}\right )}}\right ] \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.17, size = 156, normalized size = 0.80 \begin {gather*} \frac {{\left (7 \, B a + 3 \, A b\right )} \arctan \left (\frac {b \sqrt {x}}{\sqrt {a b}}\right )}{128 \, \sqrt {a b} a^{2} b^{4}} + \frac {105 \, B a b^{4} x^{\frac {9}{2}} + 45 \, A b^{5} x^{\frac {9}{2}} - 790 \, B a^{2} b^{3} x^{\frac {7}{2}} + 210 \, A a b^{4} x^{\frac {7}{2}} - 896 \, B a^{3} b^{2} x^{\frac {5}{2}} - 384 \, A a^{2} b^{3} x^{\frac {5}{2}} - 490 \, B a^{4} b x^{\frac {3}{2}} - 210 \, A a^{3} b^{2} x^{\frac {3}{2}} - 105 \, B a^{5} \sqrt {x} - 45 \, A a^{4} b \sqrt {x}}{1920 \, {\left (b x + a\right )}^{5} a^{2} b^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.07, size = 154, normalized size = 0.79 \begin {gather*} \frac {3 A \arctan \left (\frac {b \sqrt {x}}{\sqrt {a b}}\right )}{128 \sqrt {a b}\, a^{2} b^{3}}+\frac {7 B \arctan \left (\frac {b \sqrt {x}}{\sqrt {a b}}\right )}{128 \sqrt {a b}\, a \,b^{4}}+\frac {\frac {\left (3 A b +7 B a \right ) x^{\frac {9}{2}}}{128 a^{2}}+\frac {\left (21 A b -79 B a \right ) x^{\frac {7}{2}}}{192 a b}-\frac {\left (3 A b +7 B a \right ) x^{\frac {5}{2}}}{15 b^{2}}-\frac {7 \left (3 A b +7 B a \right ) a \,x^{\frac {3}{2}}}{192 b^{3}}-\frac {\left (3 A b +7 B a \right ) a^{2} \sqrt {x}}{128 b^{4}}}{\left (b x +a \right )^{5}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 1.54, size = 205, normalized size = 1.05 \begin {gather*} \frac {15 \, {\left (7 \, B a b^{4} + 3 \, A b^{5}\right )} x^{\frac {9}{2}} - 10 \, {\left (79 \, B a^{2} b^{3} - 21 \, A a b^{4}\right )} x^{\frac {7}{2}} - 128 \, {\left (7 \, B a^{3} b^{2} + 3 \, A a^{2} b^{3}\right )} x^{\frac {5}{2}} - 70 \, {\left (7 \, B a^{4} b + 3 \, A a^{3} b^{2}\right )} x^{\frac {3}{2}} - 15 \, {\left (7 \, B a^{5} + 3 \, A a^{4} b\right )} \sqrt {x}}{1920 \, {\left (a^{2} b^{9} x^{5} + 5 \, a^{3} b^{8} x^{4} + 10 \, a^{4} b^{7} x^{3} + 10 \, a^{5} b^{6} x^{2} + 5 \, a^{6} b^{5} x + a^{7} b^{4}\right )}} + \frac {{\left (7 \, B a + 3 \, A b\right )} \arctan \left (\frac {b \sqrt {x}}{\sqrt {a b}}\right )}{128 \, \sqrt {a b} a^{2} b^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 1.24, size = 175, normalized size = 0.90 \begin {gather*} \frac {\mathrm {atan}\left (\frac {\sqrt {b}\,\sqrt {x}}{\sqrt {a}}\right )\,\left (3\,A\,b+7\,B\,a\right )}{128\,a^{5/2}\,b^{9/2}}-\frac {\frac {x^{5/2}\,\left (3\,A\,b+7\,B\,a\right )}{15\,b^2}-\frac {x^{9/2}\,\left (3\,A\,b+7\,B\,a\right )}{128\,a^2}+\frac {a^2\,\sqrt {x}\,\left (3\,A\,b+7\,B\,a\right )}{128\,b^4}-\frac {x^{7/2}\,\left (21\,A\,b-79\,B\,a\right )}{192\,a\,b}+\frac {7\,a\,x^{3/2}\,\left (3\,A\,b+7\,B\,a\right )}{192\,b^3}}{a^5+5\,a^4\,b\,x+10\,a^3\,b^2\,x^2+10\,a^2\,b^3\,x^3+5\,a\,b^4\,x^4+b^5\,x^5} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________